Tool support for assurance case development

Mechanized Support for Assurance Case Argumentation

An assurance case provides an argument that certain claims (usually concerning safety or other critical properties) are justified, based on given evidence concerning the context, design, and implementation of a system. An assurance case serves two purposes: reasoning and communication. For the first, the argument in the case should approach the standards of mathematical proof (though it may be ...

Development of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM

Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...

Development of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM

Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...

Case for Support FORSE - Formally-based tool support for Erlang development

DALculus - Theory and Tool for Development Assurance Level Allocation

The Development Assurance Level (DAL) indicates the level of rigor of the development of a software or hardware function of an aircraft. We propose a theory formalizing the DAL allocation rules found in the ARP4754a recommended practices. A tool implementing this theory was developed in order to assist the safety specialists when checking or optimizing a DAL allocation.